Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
281	PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:08 Logic Reasoning Logic programming Logical truth Propositional calculus Logical consequence Advice taker Logic Theorist Argument Rule of inference Substitution First-order logic
282	Properties of CFL’s • Simplification of CFG’s. This makes life easier, since we can claim that if a language is CF, then it has a grammar of a special form. • Pumping Lemma for CFL’s. Similar to the regular ca Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:53:52 Formal languages Grammar Constructible universe Formal grammar Logic Cognitive science Useless rules Controlled grammar
283	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON POWER SYSTEMS 1 Phase Balancing Using Energy Storage Add to Reading List Source URL: www.comm.utoronto.ca Language: English - Date: 2016-02-29 23:17:52 Mathematics Combinatorics Discrete mathematics Algorithm Mathematical logic Theoretical computer science Greedy algorithm Program optimization Electric power quality Mathematical optimization
284	Probabilistic Similarity Logic Matthias Br¨ocheler Computer Science Dept. University of Maryland College Park, MD 20740 Add to Reading List Source URL: psl.umiacs.umd.edu Language: English - Date: 2013-06-14 19:26:50 Geometry Knowledge engineering Information science Information Knowledge representation Ontology Semantic Web PSL Cosine similarity Statistical relational learning Similarity Analogy
285	Analysis and Specialisation of Imperative Programs: An approach using CLP Julio C. Peralta Estrada A thesis submitted to the University of Bristol in accordance with the Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Theoretical computer science Programming paradigms Software engineering Logic in computer science Declarative programming Programming language semantics Constraint programming Logic programming Operational semantics Imperative programming CLP Programming language
286	incident occurred Gather Information identify sources of information (consult expert sources and responsible authorities, Add to Reading List Source URL: www.rvs.uni-bielefeld.de Language: English - Date: 2005-09-20 00:58:38 Philosophy Philosophy of science Conditionals Logic Epistemology Debugging Accidents Risk analysis Whybecause analysis Counterfactual conditional Causality Fact
287	An Introduction to Online and O ine Partial Evaluation Using a Simple Flowchart Language John Hatcli ? Department of Computing and Information Sciences Kansas State University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:17 Software engineering Computer programming Computing Flow chart language Edsger W. Dijkstra Logic in computer science Programming language semantics LOOP Operational semantics Goto Tcl ECL programming language
288	Using qualitative methods to assess impact Add to Reading List Source URL: blogs.ncvo.org.uk Language: English - Date: 2015-07-10 11:11:22 Evaluation Philosophy of science Methodology Impact assessment Philosophy Impact evaluation Observational study Evaluation methods Evidence-based practices Theory of change Quantitative research Logic model
289	A(nother) characterization of Intuitionistic Propositional Logic Rosalie Iemho ILLC/Faculty of Science Universiteit van Amsterdam Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2010-08-24 07:12:03 Logic Mathematical logic Modal logic Non-classical logic Model theory Propositional calculus Admissible rule Intermediate logic Kripke semantics Substitution FO Modal companion
290	Cognitive Science–13 Copyright © 2016 Cognitive Science Society, Inc. All rights reserved. ISSN: printonline DOI: cogsWhen Absence of Evidence Is Evidence of Absence: Add to Reading List Source URL: cocosci.berkeley.edu Language: English - Date: 2016-07-25 18:32:08 Logic Statistics Knowledge Statistical theory Statistical inference Reasoning Bayesian inference Statistical forecasting Bayesian network Inference Bayesian statistics

UPDATE